A Categorical Setting for Lower Complexity
نویسندگان
چکیده
A polarized strong category consists of a cartesian category, X, and a category Y, together with a module M : X × Y −→ Y equipped with a strong composition and identities. These categories can be used to provide an abstract setting for investigating computational setting with complexity below primitive recursive. This paper develops the theory of polarized strong categories, explains how they relate to the theory of fibrations, and provides a concrete example which illustrates their applicability to these lower complexity systems of computation.
منابع مشابه
A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments
This short paper summarizes a faithful implementation of the categorical framework of Coecke et al. (2010), the aim of which is to provide compositionality in distributional models of lexical semantics. Based on Frobenius Algebras, our method enable us to (1) have a unifying meaning space for phrases and sentences of different structure and word vectors, (2) stay faithful to the linguistic type...
متن کاملL-CONVEX SYSTEMS AND THE CATEGORICAL ISOMORPHISM TO SCOTT-HULL OPERATORS
The concepts of $L$-convex systems and Scott-hull spaces are proposed on frame-valued setting. Also, we establish the categorical isomorphism between $L$-convex systems and Scott-hull spaces. Moreover, it is proved that the category of $L$-convex structures is bireflective in the category of $L$-convex systems. Furthermore, the quotient systems of $L$-convex systems are studied.
متن کاملClock Face Drawing Test Performance in Children with ADHD
Introduction: The utility and discriminatory pattern of the clock face drawing test in ADHD is unclear. This study therefore compared Clock Face Drawing test performance in children with ADHD and controls. Methods: 95 school children with ADHD and 191 other children were matched for gender ratio and age. ADHD symptoms severities were assessed using DSM-IV ADHD checklist and their intellectua...
متن کاملEffects of Task Complexity, Task Conditions, and Task Difficulty on the Grammatical Accuracy of EFL Learners in Written Discourse
Different methods of language teaching have tried to help EFL learners to develop good language skills based on their various perspectives. Research findings have underscored the effect of using task types in promoting language skills in terms of accuracy in written discourse. Therefore, this study set out to investigate whether there is an evidence of correct use of simple past tense (Accuracy...
متن کاملAugment and Reduce: Stochastic Inference for Large Categorical Distributions
Categorical distributions are ubiquitous in machine learning, e.g., in classification, language models, and recommendation systems. They are also at the core of discrete choice models. However, when the number of possible outcomes is very large, using categorical distributions becomes computationally expensive, as the complexity scales linearly with the number of outcomes. To address this probl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 265 شماره
صفحات -
تاریخ انتشار 2010